#include "ReaderStatusProc.h"



static void * mem;
int f(int x){
//@instrument status {function:f file:statusInstrumenter.cpp line:5}
mem=malloc(4096*10000);
//@end
 return x;
};



int g(int x){
//@instrument mallinfo {function:g file:statusInstrumenter.cpp line:16}
free(mem);
//@end
 return x;
};


int h(int x){
//@instrument status {function:h file:statusInstrumenter.cpp line:26}
malloc(4096*10000);
//@end
 return x;
};




int main(void){
//@instrument status {function:main file:statusInstrumenter.cpp line:38}

  f(1);
  g(2);
  h(3);

//@end

}
